THE ROLE OF SURAT UKAT IN KARO SINGALOR LAU KARO DISTRICT
نویسندگان
چکیده
منابع مشابه
On Programming KARO Agents
After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these language...
متن کاملReasoning about agents in the KARO framework
This paper proposes two methods for realising automated reasoning about agent-based systems. The framework for modelling intelligent agent behaviour that we focus on is a core of KARO logic, an expressive combination of various modal logics including propositional dynamic logic, a modal logic of knowledge, a modal logic of wishes, and additional non-standard operators. The first method we prese...
متن کاملVerification within the KARO Agent Theory
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agents. We concentrate on a core logic within this framework, in particular, we describe two new methods for providing proof methods for this core logic, discuss some of the problems we have encountered in their design, an...
متن کاملKARO: An Integrated Environment for Reusing Ontologies
This paper shows how KARO (Knowledge Acquisition Environment with Reusable Ontoiogies) supports the development of the domain layer in MIKE (Model-based and Incremental Knowledge Engineering). KARO supplements the reuse of generic problem-solving methods at the task and inference layers in MIKE with a commonsense ontology at the domain layer. The intention is to make the development process eas...
متن کاملFormalising Motivational Attitudes of Agents Using the KARO Framework
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitudes both at the assertion level, i.e. ranging over propositions, and at the practition level, i.e. ranging over actions, as well as the dynamics of these attitudes, i.e. how they change over time. Starting from an agen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistika: Buletin Ilmiah Program Magister Linguistik Universitas Udayana
سال: 2019
ISSN: 2656-6419,0854-9613
DOI: 10.24843/ling.2019.v26.i01.p01